[IA64] re-add efi support to acpi_os_get_root_pointer()
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 12 Jun 2008 14:44:21 +0000 (15:44 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 12 Jun 2008 14:44:21 +0000 (15:44 +0100)
commit39c5afde6c78a96287cebade9cedf7c7f9f2e3c8
tree15a412aa3232dd7a1dd5dd4f3c0f676b88028f5d
parentd1318a44adf55fdc5609bf10a0076a81b4e96fb1
[IA64] re-add efi support to acpi_os_get_root_pointer()

On ia64 RSDP address is obtained from efi table instead of
memory scan. Otherwise it may use wrong table to fail to find
tables.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/drivers/acpi/osl.c
xen/include/asm-ia64/config.h